Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter Buneman

Source URL: homepages.inf.ed.ac.uk

• Software engineering
• Computing
• Computer programming
• Data types
• Type theory
• Functional languages
• Functional programming
• Type systems
• Type inference
• Const
• Polymorphism
• Anonymous function

Technical Report Nr. TUD-CSFeb. 5th, 2015 Harvesting Runtime Data in Android Applications for Identifying Malware and

Source URL: www.bodden.de

• Software engineering
• Computing
• Computer programming
• Cross-platform software
• Object-oriented programming languages
• Procedural programming languages
• Concurrent programming languages
• Program analysis
• Program slicing
• Android
• Java
• Subroutine

Workshop on High-Productivity Programming Languages and Models Santa Monica, California May 17-20th, 2004

Source URL: wgropp.cs.illinois.edu

Dynamically Loaded Classes as Shared Libraries: an Approach to Improving Virtual Machine Scalability Bernard Wong University of Waterloo 200 University Avenue W. Waterloo, Ontario N2L 3G1, Canada

Source URL: cs.uwaterloo.ca

• Computing
• Java platform
• Java virtual machine
• Cross-platform software
• Concurrent programming languages
• Object-oriented programming languages
• Java
• Bytecode
• Library
• Dalvik
• Pointer
• Memory footprint

Revised6 Report on the Algorithmic Language Scheme MICHAEL SPERBER R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, WILLIAM CLINGER, JONATHAN REES

Source URL: www.cs.ru.nl

• Software engineering
• Computer programming
• Computing
• Subroutines
• Functional languages
• Functional programming
• Lambda calculus
• Computability theory
• Scheme
• Lisp
• Closure
• Anonymous function

F# is a Multiparadigm Programming Language Imperative programming in F# So far we have used F# mainly as a functional language Björn Lisper

Source URL: www.idt.mdh.se

• Software engineering
• Computer programming
• Computing
• Subroutines
• Functional languages
• Data types
• Recursion
• Functional programming
• Immutable object
• F Sharp
• Closure
• Assignment

EtoileUI at FOSDEM 2010 Smalltalk vs ObjC Memo Smalltak tulip witherWithSpeed: 54

Source URL: etoileos.com

• Software
• Computing
• System software
• GNUstep
• NeXT
• Graphical user interfaces
• User interface techniques
• Object-oriented programming languages
• toil
• Post-WIMP
• Digg
• Smalltalk

Programmazione di sistemi multicore A.ALECTURE 7 IRENE FINOCCHI

Source URL: twiki.di.uniroma1.it

• Computing
• Software engineering
• Computer programming
• Concurrent programming languages
• Method
• Cilk
• Java
• Const
• Go
• Class
• Forkjoin model
• Scala

MONFISPOL Grant no.: DeliverableBeta-version of parallel routines: user manual. Marco Ratto, European Commission, Joint Research Centre Ivano Azzini, Houtan Bastani, Sebastien Villemot, DYNARE Team July 8,

Source URL: www.monfispol.eu

• Software
• Computing
• Parallel computing
• Array programming languages
• Cross-platform software
• Computer cluster
• Concurrent computing
• Command-line interface
• Operating system
• Filter
• MATLAB
• GNU Octave

Expressive Logical Combinators for Free Pierre Genevès (CNRS) Joint work with Alan Schmitt (Inria) IJCAI, July 30th 2015, Buenos Aires

Source URL: tyrex.inria.fr

• Logic
• Theoretical computer science
• Logic in computer science
• Mathematics
• Lambda calculus
• Formal languages
• Mathematical logic
• Syntax
• Combinatory logic
• FO
• Well-formed formula
• Logic programming